1. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
پدیدآورنده : Moshe Y. Vardi, Anderi Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2850